1

Reasoning about connectors using Coq and Z3

Year:
2019
Language:
english
File:
PDF, 644 KB
english, 2019
6

RES: A Resource-Efficient System for Monitoring Flow Distribution

Year:
2014
Language:
english
File:
PDF, 418 KB
english, 2014
12

Benzothiazines in Synthesis: A Route to Chiral Cyclobutanes

Year:
2008
Language:
english
File:
PDF, 228 KB
english, 2008